$\forall$$A$, $B$:Type, $f$, $g$:($A$$\rightarrow$($B$ + Top)). p{-}disjoint($A$;$f$;$g$) $\in$ $\mathbb{P}$